#include <iostream>
int main()
{
	printf("%d", 12);
	return 0;
}